type R() =
    { F: int }
